This book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software ...